Modeling Abstract Numeric Relations Using Concrete Notations

نویسندگان

  • David Landy
  • David Brookes
  • Ryan Smout
چکیده

Abstract relational reasoning is a core component of human thinking. While abstract relations are understood using a wide variety of methods, the formal algebraic equation is among the most powerful and general mechanisms for representing relational statements. It has often been assumed that the means by which expressions represent relations are purely semantic, and are encoded in an abstract syntax that governs the use of notation without regard to the details of its physical structure (Anderson, 2005; Hegarty, Mayer, & Monk, 1995). In contrast, we propose an image of equation construction that highlights the role of concrete physical relations in mediating the interpretation of equations. In this account, construction processes involve a structural alignment across representation systems. Alignment biases reasoners toward the selection of representations that maintain the concrete structure of source representations. We demonstrate that this approach accounts naturally for a variety of previously reported phenomena in equation construction, and correctly predicts several new phenomena.relational reasoning is a core component of human thinking. While abstract relations are understood using a wide variety of methods, the formal algebraic equation is among the most powerful and general mechanisms for representing relational statements. It has often been assumed that the means by which expressions represent relations are purely semantic, and are encoded in an abstract syntax that governs the use of notation without regard to the details of its physical structure (Anderson, 2005; Hegarty, Mayer, & Monk, 1995). In contrast, we propose an image of equation construction that highlights the role of concrete physical relations in mediating the interpretation of equations. In this account, construction processes involve a structural alignment across representation systems. Alignment biases reasoners toward the selection of representations that maintain the concrete structure of source representations. We demonstrate that this approach accounts naturally for a variety of previously reported phenomena in equation construction, and correctly predicts several new phenomena.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Stepwise refinement of sequence diagrams with soft real - time requirements

UML sequence diagrams and similar notations are much used to specify computer systems, serving for example as specifications for programmers, or as a means for validating requirements. When specifying and analyzing computer systems, probabilities are often essential, in particular for capturing soft real-time requirements. It is also important to be able to specify systems at different levels o...

متن کامل

Experimentation of a Graphical Concrete Syntax Generator for Domain Specific Modeling Languages

Graphical Domain Specific Modeling Languages (DSML) are alternatives to general purpose modeling languages e.g. UML or SysML. They describe models with concepts and relations specific to a domain. Defining such languages consists of defining an abstract syntax and a graphical concrete syntax accompanied by a correspondence mappingsyntax and a graphical concrete syntax accompanied by a correspon...

متن کامل

CanonSketch: A User-Centered Tool for Canonical Abstract Prototyping

In this paper, we argue that current user interface modeling tools are developed using a formalism-centric approach that does not support the needs of modern software development. In order to solve this problem we need both usable and expressive notations and tools that enable the creation of user-interface specifications that leverage the design and thought process. In this paper we present th...

متن کامل

A Unified Superstructure for UML

A key aspect of successfully using UML is understanding the semantics of the notations. UML 2 will increase the already substantial collection of notations supported by UML 1.x. At the same time, this will augment the difficulty users experience in understanding semantics. In this paper we propose that while the diverse notations may render concepts differently, the concepts can often be consid...

متن کامل

Automata Based Method for Domain-specific Languages Definition

We outline a research proposal which goal is to contribute to methods of new Domain-Specific Languages (DSLs) definition and implementation. We propose the automata based method for DSLs definition that allows specifying new languages with various notations in such a way that the language definition can be treated as a ready-to-use language implementation already. The automata based method allo...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011